*** empty log message ***

diff --git a/etc/compilation.txt b/etc/compilation.txt
index 933b486bb0fa204c77cc58eb8d099c7934bd3d11..4b8990d5e39d73c9447e4d4a235f185a3f7d7d42 100644 (file)
--- a/etc/compilation.txt
+++ b/etc/compilation.txt
@@ -404,6 +404,7 @@ Compilation killed at Wed Jul 20 12:20:10
 Compilation terminated at Wed Jul 20 12:20:10
 Compilation exited abnormally with code 1 at Wed Jul 20 12:21:12
 Compilation finished at Thu Jul 21 15:02:15
+Compilation segmentation fault at Thu Jul 13 10:55:49
 
 \f
 Copyright (C) 2004, 2005, 2006, 2007